2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 170 55 134 0 55 46 0 0

N.S.

1 1.12 0.36 0.88 0.00 0.36 0.30 0.00 0.00

time (sec)

N/A 0.226 9.148 1.979 0.000 0.079 1.059 0.000 0.000

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 337 55 208 0 60 49 0 0

N.S.

1 1.14 0.19 0.70 0.00 0.20 0.17 0.00 0.00

time (sec)

N/A 0.380 10.011 2.025 0.000 0.083 1.106 0.000 0.000

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 171 57 125 0 53 49 0 0

N.S.

1 1.12 0.38 0.82 0.00 0.35 0.32 0.00 0.00

time (sec)

N/A 0.224 10.013 1.987 0.000 0.086 1.935 0.000 0.000

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 337 57 216 0 60 53 0 0

N.S.

1 1.13 0.19 0.73 0.00 0.20 0.18 0.00 0.00

time (sec)

N/A 0.377 10.020 2.043 0.000 0.091 4.723 0.000 0.000

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

152 173 57 135 0 53 53 0 0

N.S.

1 1.14 0.38 0.89 0.00 0.35 0.35 0.00 0.00

time (sec)

N/A 0.230 10.014 1.978 0.000 0.076 15.886 0.000 0.000

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

331 377 57 234 0 78 53 0 0

N.S.

1 1.14 0.17 0.71 0.00 0.24 0.16 0.00 0.00

time (sec)

N/A 0.427 10.012 2.055 0.000 0.088 47.546 0.000 0.000

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

128 141 74 194 0 56 53 0 0

N.S.

1 1.10 0.58 1.52 0.00 0.44 0.41 0.00 0.00

time (sec)

N/A 0.247 9.288 2.155 0.000 0.091 4.716 0.000 0.000

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 123 74 133 0 45 53 0 0

N.S.

1 1.05 0.63 1.14 0.00 0.38 0.45 0.00 0.00

time (sec)

N/A 0.253 7.743 2.002 0.000 0.076 1.436 0.000 0.000

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 51 183 0 39 53 0 0

N.S.

1 1.00 0.52 1.85 0.00 0.39 0.54 0.00 0.00

time (sec)

N/A 0.209 6.754 1.988 0.000 0.081 0.600 0.000 0.000

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 95 51 124 0 40 53 0 0

N.S.

1 1.01 0.54 1.32 0.00 0.43 0.56 0.00 0.00

time (sec)

N/A 0.205 6.219 1.992 0.000 0.078 0.563 0.000 0.000

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 51 184 0 46 56 0 0

N.S.

1 1.00 0.52 1.88 0.00 0.47 0.57 0.00 0.00

time (sec)

N/A 0.208 10.011 2.006 0.000 0.081 0.779 0.000 0.000

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 97 51 129 0 46 49 0 0

N.S.

1 1.01 0.53 1.34 0.00 0.48 0.51 0.00 0.00

time (sec)

N/A 0.204 10.014 1.998 0.000 0.078 1.492 0.000 0.000

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 178 87 141 0 62 44 0 0

N.S.

1 1.14 0.56 0.90 0.00 0.40 0.28 0.00 0.00

time (sec)

N/A 0.252 10.024 1.986 0.000 0.097 11.046 0.000 0.000

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

273 309 69 210 0 54 44 0 0

N.S.

1 1.13 0.25 0.77 0.00 0.20 0.16 0.00 0.00

time (sec)

N/A 0.362 10.024 2.021 0.000 0.087 3.359 0.000 0.000

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 140 69 125 0 41 44 0 0

N.S.

1 1.10 0.54 0.98 0.00 0.32 0.35 0.00 0.00

time (sec)

N/A 0.216 10.027 2.027 0.000 0.085 1.008 0.000 0.000

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 278 56 132 0 27 44 0 0

N.S.

1 1.18 0.24 0.56 0.00 0.11 0.19 0.00 0.00

time (sec)

N/A 0.340 10.010 1.942 0.000 0.077 0.533 0.000 0.000

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 110 54 104 0 22 44 0 0

N.S.

1 1.13 0.56 1.07 0.00 0.23 0.45 0.00 0.00

time (sec)

N/A 0.199 10.021 1.948 0.000 0.074 0.601 0.000 0.000

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 309 54 196 0 51 48 0 0

N.S.

1 1.15 0.20 0.73 0.00 0.19 0.18 0.00 0.00

time (sec)

N/A 0.376 10.014 2.048 0.000 0.070 0.842 0.000 0.000

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 142 56 123 0 45 48 0 0

N.S.

1 1.10 0.43 0.95 0.00 0.35 0.37 0.00 0.00

time (sec)

N/A 0.222 10.026 2.021 0.000 0.074 1.949 0.000 0.000

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 349 56 219 0 65 51 0 0

N.S.

1 1.14 0.18 0.72 0.00 0.21 0.17 0.00 0.00

time (sec)

N/A 0.410 10.014 2.035 0.000 0.079 6.694 0.000 0.000

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 175 74 128 0 86 44 0 0

N.S.

1 1.14 0.48 0.84 0.00 0.56 0.29 0.00 0.00

time (sec)

N/A 0.240 10.025 2.347 0.000 0.083 12.613 0.000 0.000

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 304 60 197 0 76 44 0 0

N.S.

1 1.14 0.23 0.74 0.00 0.29 0.17 0.00 0.00

time (sec)

N/A 0.362 10.030 1.937 0.000 0.087 3.825 0.000 0.000

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 138 59 115 0 61 44 0 0

N.S.

1 1.10 0.47 0.92 0.00 0.49 0.35 0.00 0.00

time (sec)

N/A 0.216 10.021 1.961 0.000 0.076 1.061 0.000 0.000

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 307 59 197 0 65 44 0 0

N.S.

1 1.15 0.22 0.74 0.00 0.24 0.17 0.00 0.00

time (sec)

N/A 0.360 10.015 1.941 0.000 0.081 0.686 0.000 0.000

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 139 59 114 0 58 44 0 0

N.S.

1 1.10 0.47 0.90 0.00 0.46 0.35 0.00 0.00

time (sec)

N/A 0.204 9.579 1.938 0.000 0.078 0.957 0.000 0.000

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

296 342 57 197 0 83 48 0 0

N.S.

1 1.16 0.19 0.67 0.00 0.28 0.16 0.00 0.00

time (sec)

N/A 0.395 10.015 2.402 0.000 0.089 1.649 0.000 0.000

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 175 59 124 0 79 48 0 0

N.S.

1 1.14 0.38 0.81 0.00 0.51 0.31 0.00 0.00

time (sec)

N/A 0.239 10.017 2.375 0.000 0.081 4.152 0.000 0.000

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

331 382 59 219 0 101 51 0 0

N.S.

1 1.15 0.18 0.66 0.00 0.31 0.15 0.00 0.00

time (sec)

N/A 0.423 10.016 2.477 0.000 0.079 14.017 0.000 0.000

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 175 80 205 0 108 44 0 0

N.S.

1 1.13 0.52 1.32 0.00 0.70 0.28 0.00 0.00

time (sec)

N/A 0.236 10.059 1.939 0.000 0.078 12.496 0.000 0.000

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

304 344 74 263 0 118 44 0 0

N.S.

1 1.13 0.24 0.87 0.00 0.39 0.14 0.00 0.00

time (sec)

N/A 0.398 10.048 1.958 0.000 0.083 3.726 0.000 0.000

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 176 79 208 0 98 44 0 0

N.S.

1 1.13 0.51 1.33 0.00 0.63 0.28 0.00 0.00

time (sec)

N/A 0.240 10.032 1.950 0.000 0.088 2.014 0.000 0.000

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

302 343 59 256 0 103 44 0 0

N.S.

1 1.14 0.20 0.85 0.00 0.34 0.15 0.00 0.00

time (sec)

N/A 0.398 10.021 1.980 0.000 0.075 1.536 0.000 0.000

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 175 79 198 0 97 44 0 0

N.S.

1 1.11 0.50 1.26 0.00 0.62 0.28 0.00 0.00

time (sec)

N/A 0.243 10.029 1.973 0.000 0.082 2.180 0.000 0.000

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

333 378 57 287 0 119 48 0 0

N.S.

1 1.14 0.17 0.86 0.00 0.36 0.14 0.00 0.00

time (sec)

N/A 0.415 10.012 2.933 0.000 0.092 4.009 0.000 0.000

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

185 211 59 226 0 115 48 0 0

N.S.

1 1.14 0.32 1.22 0.00 0.62 0.26 0.00 0.00

time (sec)

N/A 0.272 10.014 2.852 0.000 0.088 8.000 0.000 0.000

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 418 59 312 0 137 51 0 0

N.S.

1 1.15 0.16 0.86 0.00 0.38 0.14 0.00 0.00

time (sec)

N/A 0.446 10.022 3.018 0.000 0.078 24.662 0.000 0.000

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 61 184 0 50 51 0 0

N.S.

1 1.00 0.57 1.72 0.00 0.47 0.48 0.00 0.00

time (sec)

N/A 0.207 10.035 2.018 0.000 0.083 3.256 0.000 0.000

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 89 61 131 0 42 51 0 0

N.S.

1 1.01 0.69 1.49 0.00 0.48 0.58 0.00 0.00

time (sec)

N/A 0.204 10.027 1.978 0.000 0.089 0.925 0.000 0.000

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 53 152 0 20 51 0 0

N.S.

1 1.00 0.79 2.27 0.00 0.30 0.76 0.00 0.00

time (sec)

N/A 0.182 10.022 1.976 0.000 0.078 0.499 0.000 0.000

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 64 56 114 0 21 51 0 0

N.S.

1 1.02 0.89 1.81 0.00 0.33 0.81 0.00 0.00

time (sec)

N/A 0.183 10.032 1.982 0.000 0.075 0.556 0.000 0.000

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 51 182 0 48 54 0 0

N.S.

1 1.00 0.48 1.70 0.00 0.45 0.50 0.00 0.00

time (sec)

N/A 0.210 10.024 2.012 0.000 0.069 0.821 0.000 0.000

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 99 53 132 0 47 54 0 0

N.S.

1 1.01 0.54 1.35 0.00 0.48 0.55 0.00 0.00

time (sec)

N/A 0.209 10.019 2.013 0.000 0.071 1.822 0.000 0.000

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 59 186 0 74 51 0 0

N.S.

1 1.00 0.54 1.69 0.00 0.67 0.46 0.00 0.00

time (sec)

N/A 0.214 10.023 1.964 0.000 0.078 3.745 0.000 0.000

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 95 59 126 0 63 51 0 0

N.S.

1 1.01 0.63 1.34 0.00 0.67 0.54 0.00 0.00

time (sec)

N/A 0.210 10.019 1.976 0.000 0.076 1.052 0.000 0.000

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 58 182 0 63 51 0 0

N.S.

1 1.00 0.57 1.80 0.00 0.62 0.50 0.00 0.00

time (sec)

N/A 0.208 8.066 1.971 0.000 0.082 0.691 0.000 0.000

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 97 59 122 0 61 51 0 0

N.S.

1 1.01 0.61 1.27 0.00 0.64 0.53 0.00 0.00

time (sec)

N/A 0.207 8.870 1.972 0.000 0.073 0.912 0.000 0.000

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 146 58 216 0 76 54 0 0

N.S.

1 1.04 0.41 1.54 0.00 0.54 0.39 0.00 0.00

time (sec)

N/A 0.236 10.020 1.989 0.000 0.081 1.552 0.000 0.000

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 138 58 133 0 80 54 0 0

N.S.

1 1.05 0.44 1.01 0.00 0.61 0.41 0.00 0.00

time (sec)

N/A 0.235 10.018 1.987 0.000 0.073 4.089 0.000 0.000

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 24 19 0 0 36 0 0

N.S.

1 1.00 1.14 0.90 0.00 0.00 1.71 0.00 0.00

time (sec)

N/A 0.146 10.020 1.989 0.000 0.000 0.636 0.000 0.000

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 23 18 0 13 32 0 0

N.S.

1 1.00 0.34 0.27 0.00 0.19 0.48 0.00 0.00

time (sec)

N/A 0.179 10.019 1.965 0.000 0.070 0.549 0.000 0.000

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 64 66 0 0 0 54 0 0

N.S.

1 1.28 1.32 0.00 0.00 0.00 1.08 0.00 0.00

time (sec)

N/A 0.177 0.211 0.000 0.000 0.000 1.499 0.000 0.000

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 63 65 0 0 0 54 0 0

N.S.

1 1.26 1.30 0.00 0.00 0.00 1.08 0.00 0.00

time (sec)

N/A 0.174 0.127 0.000 0.000 0.000 0.747 0.000 0.000

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 63 65 0 0 0 53 0 0

N.S.

1 1.26 1.30 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.172 0.152 0.000 0.000 0.000 0.621 0.000 0.000

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

48 66 68 0 0 0 53 0 0

N.S.

1 1.38 1.42 0.00 0.00 0.00 1.10 0.00 0.00

time (sec)

N/A 0.181 0.210 0.000 0.000 0.000 0.796 0.000 0.000

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 66 68 0 0 0 53 0 0

N.S.

1 1.32 1.36 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.169 0.255 0.000 0.000 0.000 1.583 0.000 0.000

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 63 65 0 0 0 53 0 0

N.S.

1 1.26 1.30 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.167 0.157 0.000 0.000 0.000 0.638 0.000 0.000

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 63 65 0 0 0 46 0 0

N.S.

1 1.26 1.30 0.00 0.00 0.00 0.92 0.00 0.00

time (sec)

N/A 0.172 0.152 0.000 0.000 0.000 0.617 0.000 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 63 65 0 0 0 53 0 0

N.S.

1 1.26 1.30 0.00 0.00 0.00 1.06 0.00 0.00

time (sec)

N/A 0.169 0.005 0.000 0.000 0.000 0.624 0.000 0.000

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

46 57 57 0 0 0 51 0 0

N.S.

1 1.24 1.24 0.00 0.00 0.00 1.11 0.00 0.00

time (sec)

N/A 0.168 0.159 0.000 0.000 0.000 0.614 0.000 0.000

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

51 66 65 0 0 0 53 0 0

N.S.

1 1.29 1.27 0.00 0.00 0.00 1.04 0.00 0.00

time (sec)

N/A 0.178 0.159 0.000 0.000 0.000 0.634 0.000 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 104 16 16 16 196 0 24

N.S.

1 1.00 6.12 0.94 0.94 0.94 11.53 0.00 1.41

time (sec)

N/A 0.146 0.386 1.947 0.227 0.255 2.710 0.000 5.190

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F A A C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

17 127 104 0 16 18 102 0 0

N.S.

1 7.47 6.12 0.00 0.94 1.06 6.00 0.00 0.00

time (sec)

N/A 0.242 0.005 0.000 0.264 0.258 0.954 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 103 14 13 16 107 0 13

N.S.

1 1.00 6.87 0.93 0.87 1.07 7.13 0.00 0.87

time (sec)

N/A 0.142 0.375 1.956 0.228 0.283 6.912 0.000 5.230

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C C F A A C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

15 123 103 0 13 26 102 0 0

N.S.

1 8.20 6.87 0.00 0.87 1.73 6.80 0.00 0.00

time (sec)

N/A 0.240 0.004 0.000 0.222 0.268 1.145 0.000 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 57 1795 57 55

N.S.

1 1.05 0.62 0.59 0.80 0.71 22.44 0.71 0.69

time (sec)

N/A 0.198 0.043 1.973 0.193 0.252 1.679 0.270 5.085

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 46 700 43 44

N.S.

1 1.07 0.66 0.61 0.80 0.78 11.86 0.73 0.75

time (sec)

N/A 0.180 0.029 2.016 0.180 0.252 1.161 0.265 5.032

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 38 25 30 34 223 29 33

N.S.

1 1.11 1.00 0.66 0.79 0.89 5.87 0.76 0.87

time (sec)

N/A 0.165 0.031 1.984 0.188 0.258 0.755 0.283 4.936

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 42 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.33 0.78 0.78

time (sec)

N/A 0.134 0.003 1.970 0.188 0.242 0.091 0.268 4.843

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 102 126 98 97 102 46 98 115

N.S.

1 1.01 1.25 0.97 0.96 1.01 0.46 0.97 1.14

time (sec)

N/A 0.213 0.118 7.396 0.275 0.244 0.685 0.484 5.065

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 108 135 111 103 155 42 115 125

N.S.

1 1.01 1.26 1.04 0.96 1.45 0.39 1.07 1.17

time (sec)

N/A 0.214 0.171 2.062 0.275 0.257 0.721 0.494 5.013

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 138 158 135 155 199 42 140 217

N.S.

1 1.02 1.17 1.00 1.15 1.47 0.31 1.04 1.61

time (sec)

N/A 0.231 0.160 2.071 0.278 0.259 1.236 0.545 5.374

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

314 323 94 0 0 0 29 0 0

N.S.

1 1.03 0.30 0.00 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.318 4.932 0.000 0.000 0.000 0.573 0.000 0.000

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

290 293 62 0 0 0 29 0 0

N.S.

1 1.01 0.21 0.00 0.00 0.00 0.10 0.00 0.00

time (sec)

N/A 0.272 4.717 0.000 0.000 0.000 0.600 0.000 0.000

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

266 266 46 0 0 0 26 0 37

N.S.

1 1.00 0.17 0.00 0.00 0.00 0.10 0.00 0.14

time (sec)

N/A 0.242 4.552 0.000 0.000 0.000 0.512 0.000 4.791

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

260 260 49 0 0 0 29 0 40

N.S.

1 1.00 0.19 0.00 0.00 0.00 0.11 0.00 0.15

time (sec)

N/A 0.253 4.700 0.000 0.000 0.000 0.543 0.000 5.065

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

290 289 51 0 0 0 34 0 0

N.S.

1 1.00 0.18 0.00 0.00 0.00 0.12 0.00 0.00

time (sec)

N/A 0.268 10.011 0.000 0.000 0.000 0.701 0.000 0.000

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 57 1795 57 55

N.S.

1 1.05 0.62 0.59 0.80 0.71 22.44 0.71 0.69

time (sec)

N/A 0.196 0.037 1.997 0.191 0.364 1.994 0.275 4.917

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 46 700 43 44

N.S.

1 1.07 0.66 0.61 0.80 0.78 11.86 0.73 0.75

time (sec)

N/A 0.181 0.034 1.977 0.180 0.354 1.157 0.298 4.733

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 39 25 30 35 66 29 33

N.S.

1 1.11 1.03 0.66 0.79 0.92 1.74 0.76 0.87

time (sec)

N/A 0.166 0.031 1.994 0.199 0.316 0.224 0.271 4.581

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 42 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.33 0.78 0.78

time (sec)

N/A 0.134 0.004 1.963 0.204 0.373 0.135 0.283 4.511

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 103 126 98 97 122 46 98 125

N.S.

1 1.02 1.25 0.97 0.96 1.21 0.46 0.97 1.24

time (sec)

N/A 0.203 0.090 7.119 0.284 0.335 0.685 0.521 4.622

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 107 136 112 103 290 42 116 136

N.S.

1 1.03 1.31 1.08 0.99 2.79 0.40 1.12 1.31

time (sec)

N/A 0.204 0.146 2.028 0.298 0.331 0.734 0.527 4.938

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 137 158 135 155 380 42 141 212

N.S.

1 1.01 1.17 1.00 1.15 2.81 0.31 1.04 1.57

time (sec)

N/A 0.219 0.197 2.051 0.280 0.361 1.332 0.545 5.147

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

601 649 94 0 0 0 29 0 0

N.S.

1 1.08 0.16 0.00 0.00 0.00 0.05 0.00 0.00

time (sec)

N/A 0.498 5.854 0.000 0.000 0.000 0.599 0.000 0.000

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

577 619 62 0 0 0 29 0 0

N.S.

1 1.07 0.11 0.00 0.00 0.00 0.05 0.00 0.00

time (sec)

N/A 0.464 5.398 0.000 0.000 0.000 0.555 0.000 0.000

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

550 592 46 0 0 0 26 0 37

N.S.

1 1.08 0.08 0.00 0.00 0.00 0.05 0.00 0.07

time (sec)

N/A 0.467 5.191 0.000 0.000 0.000 0.568 0.000 4.830

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

538 586 49 0 0 0 29 0 40

N.S.

1 1.09 0.09 0.00 0.00 0.00 0.05 0.00 0.07

time (sec)

N/A 0.437 5.554 0.000 0.000 0.000 0.530 0.000 3.876

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

575 618 51 0 0 0 34 0 0

N.S.

1 1.07 0.09 0.00 0.00 0.00 0.06 0.00 0.00

time (sec)

N/A 0.485 10.009 0.000 0.000 0.000 0.695 0.000 0.000

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 68 136 57 64

N.S.

1 1.05 0.62 0.59 0.80 0.85 1.70 0.71 0.80

time (sec)

N/A 0.204 0.041 1.981 0.197 0.243 0.544 0.278 3.165

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 57 112 43 53

N.S.

1 1.07 0.66 0.61 0.80 0.97 1.90 0.73 0.90

time (sec)

N/A 0.184 0.033 1.996 0.194 0.258 0.441 0.266 3.218

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 30 45 88 29 42

N.S.

1 1.11 0.74 0.66 0.79 1.18 2.32 0.76 1.11

time (sec)

N/A 0.171 0.029 1.978 0.192 0.241 0.375 0.295 3.346

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 32 65 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.78 3.61 0.78 0.78

time (sec)

N/A 0.134 0.004 2.002 0.194 0.245 0.190 0.319 3.778

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 120 135 102 109 111 49 110 133

N.S.

1 1.03 1.15 0.87 0.93 0.95 0.42 0.94 1.14

time (sec)

N/A 0.224 0.107 2.028 0.282 0.248 0.924 0.533 4.842

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 124 140 111 116 129 46 131 141

N.S.

1 1.07 1.21 0.96 1.00 1.11 0.40 1.13 1.22

time (sec)

N/A 0.218 0.178 2.090 0.274 0.263 1.027 0.516 5.290

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 148 136 152 174 42 139 191

N.S.

1 1.00 1.12 1.03 1.15 1.32 0.32 1.05 1.45

time (sec)

N/A 0.219 0.204 2.082 0.304 0.250 1.072 0.524 5.171

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

335 347 79 0 0 0 29 0 0

N.S.

1 1.04 0.24 0.00 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.307 6.505 0.000 0.000 0.000 0.683 0.000 0.000

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

311 317 67 0 0 0 29 0 0

N.S.

1 1.02 0.22 0.00 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.284 6.122 0.000 0.000 0.000 0.632 0.000 0.000

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

285 288 47 0 0 0 26 0 37

N.S.

1 1.01 0.16 0.00 0.00 0.00 0.09 0.00 0.13

time (sec)

N/A 0.259 5.756 0.000 0.000 0.000 0.589 0.000 4.895

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

280 288 50 0 0 0 29 0 40

N.S.

1 1.03 0.18 0.00 0.00 0.00 0.10 0.00 0.14

time (sec)

N/A 0.260 6.276 0.000 0.000 0.000 0.622 0.000 5.107

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

284 284 52 0 0 0 34 0 0

N.S.

1 1.00 0.18 0.00 0.00 0.00 0.12 0.00 0.00

time (sec)

N/A 0.262 10.011 0.000 0.000 0.000 0.625 0.000 0.000